canonical forms of boolean expression